Formulating Mobile Languages
نویسندگان
چکیده
This paper describes formal models of mobile computations, where dynamic transmission of code, data and execution environments is represented. Our models provide a foundation of mobile languages. We show that our models can represent the mobile mechanisms in Obliq, Telescript, Java, Facile and Kali-Scheme. The relation between code mobility and partial continuations are discussed. The correctness criteria for data mobility are presented and the correctness of the data movement is proved.
منابع مشابه
Exploring the Potential of a Mobile Messaging Application for Self-Initiated Language Learning
With the rapid expansion of deploying mobile instant messaging applications such as Telegram for the purpose of language learning, it is quite apparent that language research in this regard is lagging behind the trend. This study addressed the matter by exploring how language learners utilize a Telegram group for the purpose of language learning. In this regard, the activities of a Telegram lan...
متن کاملComputing Science Group FULL ABSTRACTION FOR NOMINAL EXCEPTIONS AND GENERAL REFERENCES
Game semantics has been used with considerable success in formulating fully abstract semantics for languages with higher-order procedures and a wide range of computational effects. Recently, nominal games have been proposed for modeling functional languages with names and nominal general references. Here we make a step further by developing a fully abstract semantics for a language with nominal...
متن کاملRegular Algebra Applied to Path - finding Problems
In an earlier paper, one of the authors presented an algebra for formulating and solving extremal path problems. There are striking similarities between that algebra and the algebra of regular languages, which lead one to consider whether the previous results can be generalized—for instance to path enumeration problems—and whether the algebra of regular languages can itself be profitably used f...
متن کاملA Comparison of Textual Modeling Languages: OCL, Alloy, FOML
Textual modeling languages are used in model-driven engineering for a variety of purposes. Among the most important purposes are querying a model and formulating restrictions like state invariants or operation preand postconditions. This paper compares three such languages. OCL augments UML as a precise language that provides constraint and object query expressions that cannot otherwise be expr...
متن کاملUsing the Prototype-based Programming Paradigm for Structuring Mobile Applications
Many mobile agent systems have been developed in the last decade in the form of APIs for existing languages or as brand new languages. Although such mobile agents have many benefits, they have not yet conquered the internet. This is partly because programming such mobile agents is not a straightforward task. There is a need for languages that better structure such mobile agent applications. In ...
متن کامل